High-Level Petri Nets
نویسندگان
چکیده
منابع مشابه
Putting high - level Petri nets
Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practice extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petr...
متن کاملSlicing High-level Petri Nets
High-level Petri nets (evolutions of low-level Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual verification techniques such as model checking and testing remain an open challenge for both (i.e., low-level and high-level Petri nets) because of the state space explosion problem and test case select...
متن کاملStochastic High-Level Petri Nets and Applications
A new class of stochastic Petri nets is proposed in this paper. The Stochastic High Level Petti nets [SHLPNs] are High Level Petti nets augmented with exponentially distributed firing times. The main advantage of modeling homogeneous systems using SHLPNs is that the resulting models are simpler, more intuitive and have a smaller number of states as our examples show.
متن کاملInterchangeable High-Level Time Petri Nets
We present a definition for a generic Time Petri net class covering most Time Petri net types known to the community. Due to the generic approach presented in this paper, the proposed syntax may as well be used as a proposal for an expression syntax of High-level Petri nets. Furthermore we present an implementation of translations between different Statically Timed Petri nets based on the prese...
متن کاملZ and High Level Petri Nets
High level Petri nets have tokens with values, traditionally called colors, and transitions that produce tokens in a functional way, using the consumed tokens as a.rguments of the function application. Large nets should be designed in a topdown approach and t,herefore we introduce a hierarchical net model which combines a. data flow diagram technique with a high level Petri net model. We use Z ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1984
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v11i151.7425